搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

	Partial Differential Equations 2 [electronic resource] : Functional Analytic Methods 0 索取号：作者：Sauvigny、 Friedrich.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Advances in Neural Networks - ISNN 2006 [electronic resource] : Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I 0 索取号：作者：Wang、 Jun.、Yi、 Zhang.、Zurada、 Jacek M.、Lu、 Bao-Liang.、Yin、 Hujun.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Advances in Neural Networks - ISNN 2006 [electronic resource] : Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II 0 索取号：作者：Wang、 Jun.、Yi、 Zhang.、Zurada、 Jacek M.、Lu、 Bao-Liang.、Yin、 Hujun.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		An Introduction to Language Processing with Perl and Prolog [electronic resource] : An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German 0 索取号：作者：Nugues、 Pierre M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures 0 索取号：作者：Bernardo、 Marco.、Cimatti、 Alessandro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Operator Algebras [electronic resource] : The Abel Symposium 2004 0 索取号：作者：Bratteli、 Ola.、Neshveyev、 Sergey.、Skau、 Christian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Computer Science-Theory and Applications [electronic resource] : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings 0 索取号：作者：Grigoriev、 Dima.、Harrison、 John.、Hirsch、 Edward A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Atmosphere and Climate [electronic resource] : Studies by Occultation Methods 0 索取号：作者：Foelsche、 Ulrich.、Kirchengast、 Gottfried.、Steiner、 Andrea.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Computer Music Modeling and Retrieval [electronic resource] : Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005. Revised Papers 0 索取号：作者：Kronland-Martinet、 Richard.、Voinier、 Thierry.、Ystad、 S酶lvi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Recent Advances in Formal Languages and Applications [electronic resource] 0 索取号：作者：Esik、 Zolt谩n.、Mart铆n-Vide、 Carlos.、Mitrana、 Victor.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Functional and Logic Programming [electronic resource] : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings 0 索取号：作者：Hagiya、 Masami.、Wadler、 Philip.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Relational Methods in Computer Science [electronic resource] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers 0 索取号：作者：MacCaull、 Wendy.、Winter、 Michael.、D眉ntsch、 Ivo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	New Results in Numerical and Experimental Fluid Mechanics V [electronic resource] : Contributions to the 14th STAB/DGLR Symposium Bremen, Germany 2004 0 索取号：作者：Rath、 Hans-Josef.、Holze、 Carsten.、Heinemann、 Hans-Joachim.、Henke、 Rolf.、H枚nlinger、 Heinz.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Algorithmic Information Theory [electronic resource] : Mathematics of Digital Information 0 索取号：作者：Seibt、 Peter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Topics in Acoustic Echo and Noise Control [electronic resource] : Selected Methods for the Cancellation of Acoustical Echoes, the Reduction of Background Noise, and Speech Processing 0 索取号：作者：H盲nsler、 Eberhard.、Schmidt、 Gerhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Software Engineering 2 [electronic resource] : Specification of Systems and Languages 0 索取号：作者：Bj酶rner、 Dines.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

	Partial Differential Equations 2 [electronic resource] : Functional Analytic Methods 0 索取号：作者：Sauvigny、 Friedrich.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Advances in Neural Networks - ISNN 2006 [electronic resource] : Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I 0 索取号：作者：Wang、 Jun.、Yi、 Zhang.、Zurada、 Jacek M.、Lu、 Bao-Liang.、Yin、 Hujun.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Advances in Neural Networks - ISNN 2006 [electronic resource] : Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II 0 索取号：作者：Wang、 Jun.、Yi、 Zhang.、Zurada、 Jacek M.、Lu、 Bao-Liang.、Yin、 Hujun.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		An Introduction to Language Processing with Perl and Prolog [electronic resource] : An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German 0 索取号：作者：Nugues、 Pierre M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures 0 索取号：作者：Bernardo、 Marco.、Cimatti、 Alessandro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Operator Algebras [electronic resource] : The Abel Symposium 2004 0 索取号：作者：Bratteli、 Ola.、Neshveyev、 Sergey.、Skau、 Christian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Computer Science-Theory and Applications [electronic resource] : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings 0 索取号：作者：Grigoriev、 Dima.、Harrison、 John.、Hirsch、 Edward A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Atmosphere and Climate [electronic resource] : Studies by Occultation Methods 0 索取号：作者：Foelsche、 Ulrich.、Kirchengast、 Gottfried.、Steiner、 Andrea.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Computer Music Modeling and Retrieval [electronic resource] : Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005. Revised Papers 0 索取号：作者：Kronland-Martinet、 Richard.、Voinier、 Thierry.、Ystad、 S酶lvi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Recent Advances in Formal Languages and Applications [electronic resource] 0 索取号：作者：Esik、 Zolt谩n.、Mart铆n-Vide、 Carlos.、Mitrana、 Victor.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Functional and Logic Programming [electronic resource] : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings 0 索取号：作者：Hagiya、 Masami.、Wadler、 Philip.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Relational Methods in Computer Science [electronic resource] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers 0 索取号：作者：MacCaull、 Wendy.、Winter、 Michael.、D眉ntsch、 Ivo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	New Results in Numerical and Experimental Fluid Mechanics V [electronic resource] : Contributions to the 14th STAB/DGLR Symposium Bremen, Germany 2004 0 索取号：作者：Rath、 Hans-Josef.、Holze、 Carsten.、Heinemann、 Hans-Joachim.、Henke、 Rolf.、H枚nlinger、 Heinz.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Algorithmic Information Theory [electronic resource] : Mathematics of Digital Information 0 索取号：作者：Seibt、 Peter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Topics in Acoustic Echo and Noise Control [electronic resource] : Selected Methods for the Cancellation of Acoustical Echoes, the Reduction of Background Noise, and Speech Processing 0 索取号：作者：H盲nsler、 Eberhard.、Schmidt、 Gerhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Software Engineering 2 [electronic resource] : Specification of Systems and Languages 0 索取号：作者：Bj酶rner、 Dines.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.